first-order system - Spanisch Englisch Wörterbuch